Basic science

Results: 4014



#Item
351

BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation,

Add to Reading List

Source URL: www.brics.dk

- Date: 1998-09-17 06:37:11
    352

    BRICS RSJ. M. Byskov: Maker-Maker and Maker-Breaker Games are PSPACE-Complete BRICS Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 2004-09-14 04:29:07
      353

      BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: Intuitionistic Choice and Restricted Classical Logic Intuitionistic Choice and

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2000-05-31 07:31:11
        354

        BRICS Basic Research in Computer Science BRICS RS-02-8 Cramer & Fehr: Optimal Black-Box Secret Sharing over Arbitrary Abelian Groups

        Add to Reading List

        Source URL: www.brics.dk

        - Date: 2002-03-22 09:02:27
          355

          BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          - Date: 2006-11-27 19:50:41
            356

            BRICS RSLarsen et al.: An Interface Theory for Input/Output Automata BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 2006-12-16 19:08:50
              357

              BRICS Basic Research in Computer Science BRICS NS-99-1 O. Danvy (ed.): PEPM ’99 Proceedings

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2004-03-04 09:22:16
                358

                BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Full Abstraction for HOPLA Full Abstraction for HOPLA

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2004-01-23 09:27:06
                  359

                  BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 1998-02-10 09:56:55
                    360

                    BRICS RS-08-5 Danvy & Johannsen: Inter-Deriving Semantic Artifacts for Object-Oriented Programming BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2008-06-27 05:21:55
                      UPDATE